D. Bjørner: ค้นหาบนเว็บ Z-Library

ประตูสู่ความรู้และวัฒนธรรมสำหรับคุณ

Don't use scam websites

ตัวกรองที่กำลังใช้อยู่

ตรงกับคำค้นหาทุกประการ

ตรงกับคำค้นหาทุกประการ

1

Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

ปี:

2006

ภาษา:

english

ไฟล์:

PDF, 53.92 MB

0 / 0

english, 2006

2

Oriented Matroids, Second Edition (Encyclopedia of Mathematics and its Applications)

Oriented Matroids, Second Edition (Encyclopedia of Mathematics and its Applications)

Cambridge University Press

Anders Björner, Michel Las Vergnas, Bernd Sturmfels, Neil White, Gunter M. Ziegler

ปี:

2000

ภาษา:

english

ไฟล์:

PDF, 7.81 MB

0 / 0

english, 2000

3

Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

ปี:

2006

ภาษา:

english

ไฟล์:

DJVU, 8.01 MB

0 / 0

english, 2006

4

Software Engineering 3

Software Engineering 3

ปี:

2006

ภาษา:

english

ไฟล์:

PDF, 7.34 MB

5.0 / 0

english, 2006

5

New perspectives in algebraic combinatorics

New perspectives in algebraic combinatorics

Cambridge University Press

Louis J. Billera, Anders Björner, Curtis Greene, Rodica E. Simion, Richard P. Stanley

ปี:

1999

ภาษา:

english

ไฟล์:

PDF, 4.20 MB

0 / 0

english, 1999

6

Combinatorial miscellany

Combinatorial miscellany

Bjorner A., Stanley R.P.

ปี:

2004

ภาษา:

english

ไฟล์:

PDF, 375 KB

0 / 0

english, 2004

7

Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

Springer-Verlag Berlin Heidelberg

Prof. Dr. Dines Bjørner (auth.)

ปี:

2006

ภาษา:

english

ไฟล์:

PDF, 23.68 MB

0 / 0

english, 2006

8

Oriented matroids

Oriented matroids

Cambridge University Press

Anders Björner, Michel Las Vergnas, Bernd Sturmfels, Neil White, Gunter M. Ziegler

ปี:

1999

ภาษา:

english

ไฟล์:

DJVU, 5.11 MB

0 / 0

english, 1999

9

Oriented Matroids, Second edition (Encyclopedia of Mathematics and its Applications)

Oriented Matroids, Second edition (Encyclopedia of Mathematics and its Applications)

Cambridge University Press

Anders Bjorner, Michel Las Vergnas, Bernd Sturmfels, Neil White, Gunter M. Ziegler

ปี:

2000

ภาษา:

english

ไฟล์:

DJVU, 5.46 MB

0 / 0

english, 2000

10

Software Engineering 3

Software Engineering 3

Springer Science & Business Media

ปี:

2006

ภาษา:

english

ไฟล์:

PDF, 7.28 MB

5.0 / 0

english, 2006

11

Configuration Spaces: Geometry, Combinatorics and Topology. CRM Series

Configuration Spaces: Geometry, Combinatorics and Topology. CRM Series

Scuola Normale Superiore

Bjorner, Anders, Cohen, Fred, De Concini, Corrado, Procesi, Claudo, Salvetti, Mario (ed.)

ปี:

2012

ภาษา:

english

ไฟล์:

PDF, 2.41 MB

0 / 0

english, 2012

12

Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

ปี:

2006

ภาษา:

english

ไฟล์:

PDF, 43.50 MB

0 / 0

english, 2006

13

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

ปี:

2007

ภาษา:

english

ไฟล์:

PDF, 5.37 MB

0 / 0

english, 2007

14

DOMAIN ENGINEERING - Technology Management, Research and Engineering

DOMAIN ENGINEERING - Technology Management, Research and Engineering

ภาษา:

english

ไฟล์:

PDF, 32.72 MB

0 / 0

english

15

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

ปี:

2007

ภาษา:

english

ไฟล์:

PDF, 4.29 MB

0 / 0

english, 2007

16

VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings

VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Ole-Johan Dahl (auth.), D. Bjørner, C. A. R. Hoare, H. Langmaack (eds.)

ปี:

1990

ภาษา:

english

ไฟล์:

DJVU, 6.60 MB

0 / 0

english, 1990

17

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

ปี:

1996

ภาษา:

english

ไฟล์:

PDF, 6.23 MB

0 / 5.0

english, 1996

18

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Jean-Pierre Jouannaud, Zhong Shao (eds.)

ปี:

2011

ภาษา:

english

ไฟล์:

PDF, 4.17 MB

0 / 0

english, 2011

19

Formal specification and software development

Formal specification and software development

Bjorner D., Jones C.B.

ปี:

1982

ภาษา:

english

ไฟล์:

DJVU, 5.70 MB

0 / 0

english, 1982

20

Formal Methods in Software Development

Formal Methods in Software Development

Dines Bjorner, C.A.R. Hoare, Hans Langmaack

ปี:

1990

ภาษา:

english

ไฟล์:

DJVU, 4.14 MB

0 / 0

english, 1990

21

Automated Deduction – CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

Automated Deduction – CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Koen Claessen (auth.), Nikolaj Bjørner, Viorica Sofronie-Stokkermans (eds.)

ปี:

2011

ภาษา:

english

ไฟล์:

PDF, 5.78 MB

0 / 0

english, 2011

22

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

ปี:

1996

ภาษา:

english

ไฟล์:

DJVU, 3.86 MB

0 / 0

english, 1996

23

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner, Leonardo de Moura (auth.), Joël Ouaknine, Frits W. Vaandrager (eds.)

ปี:

2009

ภาษา:

english

ไฟล์:

PDF, 3.56 MB

0 / 0

english, 2009

24

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), J. Díaz, F. Orejas (eds.)

ปี:

1989

ภาษา:

english

ไฟล์:

PDF, 7.85 MB

0 / 0

english, 1989

25

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Václav Hlaváč, Keith G. Jeffery, Jiří Wiedermann (eds.)

ปี:

2000

ภาษา:

english

ไฟล์:

PDF, 6.37 MB

0 / 0

english, 2000

26

Mathematical Foundations of Computer Science 1980: Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980

Mathematical Foundations of Computer Science 1980: Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), P. Dembiński (eds.)

ปี:

1980

ภาษา:

english

ไฟล์:

DJVU, 6.42 MB

0 / 0

english, 1980

27

Software Engineering 2: Specification of Systems and Languages

Software Engineering 2: Specification of Systems and Languages

ปี:

2006

ภาษา:

english

ไฟล์:

PDF, 39.54 MB

0 / 0

english, 2006

28

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

ปี:

2007

ภาษา:

english

ไฟล์:

PDF, 6.60 MB

0 / 0

english, 2007

29

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

ปี:

2007

ภาษา:

english

ไฟล์:

PDF, 7.82 MB

0 / 0

english, 2007

30

Oriented matroids

Oriented matroids

Cambridge University Press

Bjorner, Las Vergnas, Sturmfels, White, Ziegler.

ปี:

1999

ภาษา:

english

ไฟล์:

DJVU, 4.68 MB

0 / 0

english, 1999

31

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Springer International Publishing

Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov

ปี:

2019

ภาษา:

english

ไฟล์:

PDF, 17.03 MB

0 / 0

english, 2019

32

Introduction to Greedoids (revised version, November 1989)

Introduction to Greedoids (revised version, November 1989)

Anders Björner, Günter M. Ziegler

ปี:

1989

ภาษา:

english

ไฟล์:

PDF, 5.34 MB

0 / 0

english, 1989

33

Integrating Decision Procedures for Temporal Verification

Integrating Decision Procedures for Temporal Verification

Stanford University

Nikolaj Skallerud Bjorner

ปี:

1999

ภาษา:

english

ไฟล์:

PDF, 1.07 MB

0 / 0

english, 1999

34

Software Engineering 3: Domains, Requirements, and Software Design

Software Engineering 3: Domains, Requirements, and Software Design

ปี:

2006

ภาษา:

english

ไฟล์:

PDF, 7.77 MB

5.0 / 5.0

english, 2006

35

Software Engineering 2: Specification of Systems and Languages

Software Engineering 2: Specification of Systems and Languages

ปี:

2006

ภาษา:

english

ไฟล์:

PDF, 39.92 MB

0 / 0

english, 2006

36

Combinatorics of Coxeter Groups

Combinatorics of Coxeter Groups

Springer-Verlag Berlin Heidelberg

Anders Bjorner, Francesco Brenti

ปี:

2005

ภาษา:

english

ไฟล์:

PDF, 2.08 MB

5.0 / 5.0

english, 2005

37

Using the Borsuk-Ulam theorem: lectures on topological methods in combinatorics and geometry

Using the Borsuk-Ulam theorem: lectures on topological methods in combinatorics and geometry

Jiri Matousek, A. Björner, G.M. Ziegler

ปี:

2003

ภาษา:

english

ไฟล์:

PDF, 1.72 MB

0 / 0

english, 2003

38

Domain Science and Engineering: A Foundation for Software Development

Domain Science and Engineering: A Foundation for Software Development

ปี:

2021

ภาษา:

english

ไฟล์:

PDF, 4.58 MB

0 / 0

english, 2021

39

Software Engineering 3: Domains, Requirements, and Software Design

Software Engineering 3: Domains, Requirements, and Software Design

ปี:

2006

ภาษา:

english

ไฟล์:

DJVU, 6.10 MB

0 / 0

english, 2006

40

Software Engineering 2: Specification of Systems and Languages

Software Engineering 2: Specification of Systems and Languages

ปี:

2006

ภาษา:

english

ไฟล์:

DJVU, 8.45 MB

0 / 0

english, 2006

41

Logics of Specification Languages

Logics of Specification Languages

Dines Bjørner, Martin C. Henson (eds.)

ปี:

2008

ภาษา:

english

ไฟล์:

PDF, 3.69 MB

0 / 0

english, 2008

42

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

ปี:

2010

ภาษา:

english

ไฟล์:

PDF, 3.23 MB

0 / 5.0

english, 2010

43

Domain Science and Engineering. A Foundation for Software Development.

Domain Science and Engineering. A Foundation for Software Development.

Springer International Publishing AG

ปี:

2021

ภาษา:

english

ไฟล์:

PDF, 4.58 MB

0 / 5.0

english, 2021

44

Using the Borsuk-Ulam theorem : lectures on topological methods in combinatorics and geometry

Using the Borsuk-Ulam theorem : lectures on topological methods in combinatorics and geometry

Jiri Matousek, A. Björner, G.M. Ziegler

ปี:

2003

ภาษา:

english

ไฟล์:

PDF, 2.22 MB

0 / 0

english, 2003

45

Combinatorics of Coxeter Groups

Combinatorics of Coxeter Groups

Anders Bjorner, Francesco Brenti

ปี:

2005

ภาษา:

german

ไฟล์:

PDF, 4.41 MB

5.0 / 0

german, 2005

46

The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

Springer-Verlag Berlin Heidelberg

Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.)

ปี:

1978

ภาษา:

english

ไฟล์:

PDF, 14.97 MB

0 / 0

english, 1978

47

Configuration Spaces: Geometry, Combinatorics and Topology

Configuration Spaces: Geometry, Combinatorics and Topology

Edizioni della Normale

Alejandro Adem, José Manuel Gómez (auth.), A. Bjorner, F. Cohen, C. De Concini, C. Procesi, M. Salvetti (eds.)

ปี:

2012

ภาษา:

english

ไฟล์:

PDF, 3.43 MB

0 / 0

english, 2012

48

Combinatorics of Coxeter groups

Combinatorics of Coxeter groups

Bjorner A., Brenti F.

ปี:

2005

ภาษา:

english

ไฟล์:

PDF, 2.19 MB

5.0 / 5.0

english, 2005

49

Combinatorics of Coxeter Groups

Combinatorics of Coxeter Groups

Anders Bjorner, Francesco Brenti

ปี:

2005

ภาษา:

german

ไฟล์:

PDF, 3.09 MB

5.0 / 0

german, 2005

50

Combinatorics of Coxeter Groups

Combinatorics of Coxeter Groups

Springer-Verlag Berlin Heidelberg

Anders Bjorner, Francesco Brenti (auth.)

ปี:

2005

ภาษา:

english

ไฟล์:

PDF, 2.24 MB

5.0 / 0

english, 2005